imax{-}list($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$list\_accum($x$,$y$.imax($x$;$y$);hd($L$);tl($L$))